Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
201	PDF Document Add to Reading List Source URL: www.math.stevens.edu Language: English - Date: 2008-11-13 14:12:11 Theory of computation Computational complexity theory Theoretical computer science Computability theory Analysis of algorithms Complexity classes Generic-case complexity Halting problem Time complexity Algorithm NP Randomized algorithm
202	PDF Document Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-06-13 18:57:34 Logic in computer science Lambda calculus Theoretical computer science Computability theory Combinatory logic A New Kind of Science Programming language Computer programming
203	SYSTEMS SECURITY Editors: Patrick McDaniel, \| Sean W. Smith, Beyond Planted Bugs in “Trusting Trust” The Input-Processing Frontier Sergey Bratus, Trey Darley, Michael Locasto Add to Reading List Source URL: langsec.org Language: English - Date: 2014-04-02 21:43:44 Computability theory Theory of computation Models of computation Turing machine Markup languages Parsing Halting problem Software bug Programming language Theoretical computer science Computer science Computing
204	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:31 Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic
205	Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-07-25 10:12:01 Computability theory Process calculi Π-calculus Theory of computation Function Valuation Logarithm Μ operator Primitive recursive function Mathematics Theoretical computer science Functions and mappings
206	Indifferent sets Santiago Figueira∗ Joseph S. Miller† Andr´e Nies‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-01-20 10:12:05 Measure theory Normal number Support Computable function Computability theory Theory of computation Mathematics
207	Church and Curry: Combining Intrinsic and Extrinsic Typing Frank Pfenning 1 Introduction Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-04-11 09:45:18 Lambda calculus Theoretical computer science MUMPS Computer science Computing Data management Computability theory
208	Lowness Properties and Approximations of the Jump Santiago Figueira ∗ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:58:00 Theoretical computer science Mathematical logic Theory of computation Recursion Primitive recursive function Function Μ operator Fixed-point combinator Mathematics Computability theory Functions and mappings
209	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:33:09 Theory of computation Computability theory Functions and mappings Recursion Function Computable number Compact space Subspace topology Sierpiński space Topology Mathematics General topology
210	Reversible Session-Based Pi-CalculusI Francesco Tiezzia,∗, Nobuko Yoshidab a b University of Camerino, Italy Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2015-07-07 07:06:59 Models of computation Computer science Computability theory Mathematics Π-calculus Process calculus Actor model Reversible computing Lambda calculus Theoretical computer science Process calculi Applied mathematics

UPDATE